/*
  S.M.A.C.K - An operating system kernel
  Copyright (C) 2010,2011 Mattias Holm and Kristian Rietveld
  For licensing and a full list of authors of the kernel, see the files
  COPYING and AUTHORS.
*/

#ifndef KERNEL__SYS_TYPES_H
#define KERNEL__SYS_TYPES_H

#include <sys/types.h>

struct timeval {
  time_t tv_sec;       //!< Seconds
  suseconds_t tv_usec; //!< Microseconds
};

struct itimerval
{
  struct timeval it_interval; //!< Timer inverval
  struct timeval it_value;    //!< Current value
};

#endif /* !KERNEL__SYS_TYPES_H */
